NSDI ’16: 13th USENIX Symposium on Networked Systems Design and Implementation March 16–18, 2016 Santa Clara, CA Message from the Program Co-Chairs. . . . . . . . . . . . . . . . . . . . . . . .

Source URL: www.usenix.org

• Higher education in China
• Computer science
• Ion Stoica
• Science and technology in the United States
• Databricks
• Ali Ghodsi
• Matei Zaharia
• Hari Balakrishnan
• Scott Shenker
• Tsinghua University
• Microsoft Research
• Carnegie Mellon University

Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016

Source URL: www.bowaggoner.com

A Parallel Identification Protocol for RFID Systems Linghe Kong∗† , Liang He∗ , Yu Gu∗ , Min-You Wu† , Tian He‡ ∗ Singapore University of Technology and Design, Singapore † Shanghai Jiao Tong University,

Source URL: wirelesslab.sjtu.edu.cn

• Radio-frequency identification
• Automatic identification and data capture
• Privacy
• Ubiquitous computing
• Wireless
• Mobile RFID
• SAM
• Computing
• Technology
• Data

Payment Network Design with Fees arXiv:1810.07585v1 [cs.DS] 17 Oct 2018 Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland

Source URL: arxiv.org

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin
• Max-flow min-cut theorem

Intrinsic Side-Channel Analysis Resistance and Efficient Masking A case study of the use of SCA-related metrics and of design strategies leading to low-cost masking for CAESAR candidates

Source URL: ko.stoffelen.nl

• Cryptography
• Applied mathematics
• Block cipher modes of operation
• Block cipher
• Symmetric-key algorithm
• Stream cipher
• Galois/Counter Mode
• Data Encryption Standard
• Authenticated encryption
• Cryptanalysis
• Public-key cryptography
• Cryptographic hash function

NSDI ’18: 15th USENIX Symposium on Networked Systems Design and Implementation April 9–11, 2018 Renton, WA, USA New Hardware

Source URL: www.usenix.org

• Higher education in China
• Education in China
• C9 League
• Project 211
• Project 985
• Scott Shenker
• Sylvia Ratnasamy
• University of Science and Technology of China
• Hari Balakrishnan
• Microsoft Research
• University of California
• Berkeley
• Ion Stoica

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: homes.sice.indiana.edu

• Type theory
• Software engineering
• Programming language theory
• Computing
• Scheme
• System F
• Type system
• HindleyMilner type system
• Racket
• Boolean data type
• Macro
• Typing environment

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton

Source URL: www.usenix.org

Payment Network Design with Fees Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland {zetavar,gjanssen,yuwang,wattenhofer}@ethz.ch Abstract. Payment channels are the most promine

Source URL: www.tik.ee.ethz.ch

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Combinatorial optimization
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin